]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5bd86f) | patch
gnome-shell-extension-tool: Add a reload option
authorJonh Wendell <jonh.wendell@redhat.com>
Sat, 8 Oct 2016 18:23:45 +0000 (15:23 -0300)
committerJonh Wendell <jonh.wendell@redhat.com>
Fri, 28 Oct 2016 17:41:32 +0000 (15:41 -0200)
commit2812afed2236a6a60ccfd5232b64ea4dbd24370a
tree2ef173a4341da5b19f05019123d0b80af757885btree | snapshot
parentf5bd86fa116b948e9001be6d9ef1058b0f6f1694commit | diff
gnome-shell-extension-tool: Add a reload option

This might be a good fit for extension developers: With
this option one doesn't need to restart the whole Shell
in order to see their changes in effect.

https://bugzilla.gnome.org/show_bug.cgi?id=772593
src/gnome-shell-extension-tool.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.